Timed Transition System Models for Programming Physarum Machines
نویسندگان
چکیده
In the paper, we show that timed transition system models can be used as a high-level model of behavior of Physarum machines. A Physarum machine is a programmable amorphous biological computer experimentally implemented in the vegetative state of Physarum polycephalum. Timed transition system models have been used in our new object-oriented programming language for Physarum polycephalum computing.
منابع مشابه
Petri Net Models of Simple Rule-Based Systems for Programming Physarum Machines
In the paper, we show that biological substrate in the form of Physarum polycephalum can be used to simulate simple rule-based systems. To extort a proper behavior from the substrate, appropriate distribution of stimuli (attractants and/or repellents) is required. To model behavior of the substrate and then program Physarum machine (a biological computing device experimentally implemented in th...
متن کاملMonte Carlo Simulation to Compare Markovian and Neural Network Models for Reliability Assessment in Multiple AGV Manufacturing System
We compare two approaches for a Markovian model in flexible manufacturing systems (FMSs) using Monte Carlo simulation. The model which is a development of Fazlollahtabar and Saidi-Mehrabad (2013), considers two features of automated flexible manufacturing systems equipped with automated guided vehicle (AGV) namely, the reliability of machines and the reliability of AGVs in a multiple AGV jobsho...
متن کاملTechnical Report: BDD-based Discrete Analysis of Timed Systems
Complex timed systems are often composed of many components at multiple levels of hierarchy. Timed finite-state machines (TFSMs) were proposed to model timed system components, which are designed to capture useful system features like different ways of communication among system components. In this report, we will present a short introduction about TFSMs and a rich set of system composition fun...
متن کاملThe Railroad Crossing Problem: Towards Semantics of Timed Algorithms and Their Model Checking in High Level Languages
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to au-tomatize model checking in high level, easily understandable languages. We give here a general notion of timed transition system and its formula representation that are suucient to deal with some known examples of timed algorithms. We prove that the general semantic...
متن کاملWorkshop on Programming Theory
Actor models have been used for modeling and analyzing distributed and asynchronous systems. Moreover, actors are being increasingly used in industry, and new actor-based languages are designed and used by Google and Microsoft, for example Go, P and Orleans. In the new era of cyber-physical systems, we need methods and techniques for safety and performance assurance of timed models. Floating Ti...
متن کامل